Prolog: Comment supprimer un élément sur deux d'une liste

C'est à peu près la réponse de Landei dans la syntaxe Prolog spécifique:
r ([], []).
r ([X], [X]).
r ([X, _ | Xs], [X | Ys]): - r (Xs, Ys).
Le deuxième prédicat n'est pas requis.
|
Solution alternative utilisant foldl / 4:
fold_step (élément, vrai: [élément | queue], faux: queue).
fold_step (_Item, false: Tail, true: Tail).
impair (Liste, Impair): -
foldl (fold_step, List, true: Odd, _: []).
Usage:
? - impair ([1, 2, 3, 4, 5, 6, 7], impair).
Impair = [1, 3, 5, 7]
L'idée est de parcourir la liste, tout en gardant le drapeau "impair / pair" et en retournant sa valeur (faux -> vrai, vrai -> faux) sur chaque élément. Nous construisons également progressivement la liste, en ajoutant les éléments qui ont le drapeau "impair / pair" égal à vrai, et en sautant les autres.
|
Cette belle réponse de @ code_x386 utilise des listes de différences et foldl / 4.
Utilisons une seule clause fold_step / 3 et rendons la relation plus générale, comme ceci:
fold_step (X, [X | Xs] + Ys, Ys + Xs).
list_odds_evens (Liste, Cotes, Evens): -
foldl (fold_step, List, Odds + Evens, [] + []).
Exemples de requêtes:
? - list_odds_evens ([a, b, c, d, e, f], Odds, Evens).
Evens = [b, d, f], Odds = [a, c, e]
? - list_odds_evens ([a, b, c, d, e, f, g], Odds, Evens).
Evens = [b, d, f], Odds = [a, c, e, g]
Éditer
Pourquoi ne pas utiliser une clause de moins et supprimer le prédicat fold_step / 3?
lambda à la rescousse!
: - use_module (bibliothèque (lambda)).
list_odds_evens (Liste, Cotes, Evens): -
foldl (\ X ^ ([X | Xs] + Ys) ^ (Ys + Xs) ^ true, List, Odds + Evens, [] + []).
|
Une autre possibilité est d'utiliser les DCG, ils sont généralement une considération intéressante lors de la description des listes:
list_oddindices (L, O): -
phrase (index impairs (L), O). % la liste O est décrite par oddindices // 1
oddindices ([]) ->% si L est vide
[]. % O est également vide
oddindices ([X]) ->% si L n'a qu'un seul élément
[X]. % c'est en O
oddindices ([O, _E | OEs]) ->% si la tête de L se compose d'au moins deux éléments
[O],% le premier est en O
oddindices (OE). % la même chose vaut pour la queue
C'est certes moins élégant que les solutions utilisant foldl / 4 mais le code est très facilement lisible, mais il résout la tâche décrite par l'OP et fonctionne également dans les deux sens:
? - list_oddindices ([1,2,3,4,5,6,7], O).
O = [1, 3, 5, 7];
faux.
? - list_oddindices (L, [1,3,5,7]).
L = [1, _G4412, 3, _G4418, 5, _G4424, 7];
L = [1, _G4412, 3, _G4418, 5, _G4424, 7, _G4430];
faux.
|
Je n'ai pas de Prolog ici pour l'essayer, et je suis devenu un peu rouillé, mais cela devrait être dans le sens de
r ([]): - [].
r ([X]): - [X].
r ([X, Y | Z]): - R = r (Z), [X | R].
[Éditer]
Bien sûr, Pad a raison. Ma solution fonctionnerait dans des langages fonctionnels comme Haskell ou Erlang:
--Haskell
r [] = []
r [x] = [x]
r (x: _: xs) = x: (r xs)
Dans Prolog, vous devez "tirer" les bons côtés dans la liste d'arguments afin de déclencher l'unification.
|
Ta Réponse
StackExchange.ifUsing ("éditeur", fonction () {
StackExchange.using ("externalEditor", function () {
StackExchange.using ("extraits", function () {
StackExchange.snippets.init ();
});
});
}, "extraits de code");
StackExchange.ready (fonction () {
var channelOptions = {
tags: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", function () {
// Doit lancer l'éditeur après les extraits, si les extraits sont activés
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("extraits", function () {
createEditor ();
});
}
autre {
createEditor ();
}
});
function createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: faux,
heartbeatType: 'réponse',
autoActivateHeartbeat: faux,
convertImagesToLinks: vrai,
noModals: vrai,
showLowRepImageUploadWarning: vrai,
reputationToPostImages: 10,
bindNavPrevention: vrai,
suffixe: "",
imageUploader: {
brandingHtml: "Powered by \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.61182C47.4335 4.61182 46.72556.9762.6943 4.61182C47.4335 4.61182 46.72554.91628 46.094 4.68.4335 4.61182 46.72554.91628 46.094.49.48.4335 4.61182 46.72554.91628 46.094.49.48.4335 4.61182 46.7256 4.9762.698 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10.1419C32.492 12.6954.0 34184.01448.0 14.6954.0 34184.0 34184.0 14.6954.0 34184.0 34184.0 14.6954.0 34184.0 34184.0 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.4455.5C35.820 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "clip-rule = \" evenodd \ "clip-rule = \" evenodd \ "d. = \ "M25.6622 17.6335C27.8049 17.6335 29.373916,9402 30,2537 30,9615 13,5579 15.6379C30.8468 14,7755 30,9615 11.9512V6.59049C30.9615 5,28821 30,4833 4,66231 29,4502 4.66231C28.9913 4,66231 28,4555 4,94978 28,1109 5.50789C27.499 4,86533 26,7335 4,56087 25,7005 4.56087C23.1369 4,56087 21,0134 6,57349 21,0134 11,9852 23,003 9.27932C21.0134 13,913 25,3754 27,4607 13,4902 13.913C26.5612 13,913 28,1109 12,7229 28,1161 12,7799 12.6616C28.1109 28,121 12.8346C28.1256 12,8854 28,1301 12,9342 28,1301 14,4373 27,2502 15,2321 12.983C28.1301 25,777 15.2321C24.8349 15,2321 24,1352 14,9821 23,5661 22,8472 14,5218 14.7787C23.176 14,6393 22,5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335ZM24.1317 9.27932C24.1317 7.94324 24.9928 7.09766 26.1024 7.09766C27.2119 7.09766 28.0918 7.943241 26.1024 7.09766C27.2119 7.09766 28.0918 7.943241 26.943241 28.943241 26.943241 26.943242 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003c chemin d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.8962 19.8079 13.2535 19.8079 11.9512V8.12928C19.8079 5.82936 18.4879 4.62866 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9.34336 4.62866 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9.34336 4.62866 10.3573 4.62866C9.34336 52866 8.56.703 4.62866C9.34336 52866 8.57809 4.62866C9. 4,66232 5.00066 5.28821 5.00066 6.59049V11.9512C5.00066 13.2535 5.47873 13.8962 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7.58817 8.44431 6.91179 9.53458 6.91179C10.5108 6.91179 9.53458 6.91179C10.5108 6.91179 9.53458 6.91179C10.5108 6.91179 9.53458 6.91179C10.5108 6.91179 9.53458 6.91179C10.5108 6.91179 9.53458 6.91179C10.5108 13.8962C13.4375 13.8962 13.9157 13.2535 13.9157 11.9512V8.90741C13.9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z \ "/ \ u003e \ u003cpath = 6,5883" 5,288.3 "M3903" 4.66232 1.82471 4.66232C0.791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59 049Z \ "/ \ u003e \ u003cpath d = \" M1.87209 0.400291C0.843612 0.400291 0 1.1159 0 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.7234 1.98861C3.7007 1.1007 1.8007 1.87869 3.7234 1.98861C3.7234 1.1007 = \ "# 1BB76E \" / \ u003e \ u003c / svg \ u003e \ u003c / a \ u003e ",
contentPolicyHtml: "Contributions des utilisateurs sous licence \ u003ca href = \" https: //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \" https://stackoverflow.com / legal / content-policy \ "\ u003e (politique de contenu) \ u003c / a \ u003e",
allowUrls: vrai
},
onDemand: vrai,
discardSelector: ".discard-answer"
, immédiatementShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
Merci d'avoir répondu à Stack Overflow!
Veuillez vous assurer de répondre à la question. Fournissez des détails et partagez vos recherches!
Mais évitez…
Demander de l'aide, des éclaircissements ou répondre à d'autres réponses.
Faire des déclarations basées sur des opinions; les sauvegarder avec des références ou une expérience personnelle.
Pour en savoir plus, consultez nos conseils sur la rédaction de bonnes réponses.
Brouillon enregistré
Brouillon rejeté
Inscrivez-vous ou connectez-vous
StackExchange.ready (fonction () {
StackExchange.helpers.onClickDraftSave ('# login-link');
});
Inscrivez-vous avec Google
Inscrivez-vous via Facebook
Inscrivez-vous par e-mail et mot de passe
Soumettre
Publier en tant qu'invité
Nom
Email
Obligatoire, mais jamais affiché
StackExchange.ready (
fonction () {
StackExchange.openid. 23new-answer ',' question_page ');
}
);
Publier en tant qu'invité
Nom
Email
Obligatoire, mais jamais affiché
Publiez votre réponse
Jeter
En cliquant sur «Publier votre réponse», vous acceptez nos conditions d'utilisation, notre politique de confidentialité et notre politique de cookies
Ce n'est pas la réponse que vous recherchez? Parcourez les autres questions étiquetées listez prolog ou posez votre propre question.